“Nagata-Smirnov 거리화 정리”